function Selection(id) {
    var element = document.getElementById(id);
    element.className = "Selection";
    }